Implementing a Functional Logic Programming Language via the Fair Scheme

This document presents a new compiler for the Functional Logic programming language Curry based on a novel pull-tabbing evaluation strategy called the Fair Scheme. A simple version of the Fair Scheme is proven sound, complete, and optimal. An elaborated version is also developed, which supports narrowing computations and other features of Curry, such as constraint programming, equational constraints, and set functions. The Fair Scheme is used to develop a new Curry system called Sprite, a high-quality, performant implementation whose aims are to promote practical uses of Curry and to serve as a laboratory for further research. An important aspect of Sprite is its integration with the popular imperative language Python. This combination allows one to write hybrid programs in which the programmer may move between declarative and non-declarative styles with relative ease. Benchmarking data show Sprite to be more complete than other Curry systems and competitive in terms of execution time, particularly for non-deterministic programs

Heterogeneous N2O5 Uptake During Winter: Aircraft Measurements During the 2015 WINTER Campaign and Critical Evaluation of Current Parameterizations

Nocturnal dinitrogen pentoxide (N2O5) heterogeneous chemistry impacts regional air quality and the distribution and lifetime of tropospheric oxidants. Formed from the oxidation of nitrogen oxides, N2O5 is heterogeneously lost to aerosol with a highly variable reaction probability, γ(N2O5), dependent on aerosol composition and ambient conditions. Reaction products include soluble nitrate (HNO3 or NO3−) and nitryl chloride (ClNO2). We report the first‐ever derivations of γ(N2O5) from ambient wintertime aircraft measurements in the critically important nocturnal residual boundary layer. Box modeling of the 2015 Wintertime INvestigation of Transport, Emissions, and Reactivity (WINTER) campaign over the eastern United States derived 2,876 individual γ(N2O5) values with a median value of 0.0143 and range of 2 × 10−5 to 0.1751. WINTER γ(N2O5) values exhibited the strongest correlation with aerosol water content, but weak correlations with other variables, such as aerosol nitrate and organics, suggesting a complex, nonlinear dependence on multiple factors, or an additional dependence on a nonobserved factor. This factor may be related to aerosol phase, morphology (i.e., core shell), or mixing state, none of which are commonly measured during aircraft field studies. Despite general agreement with previous laboratory observations, comparison of WINTER data with 14 literature parameterizations (used to predict γ(N2O5) in chemical transport models) confirms that none of the current methods reproduce the full range of γ(N2O5) values. Nine reproduce the WINTER median within a factor of 2. Presented here is the first field‐based, empirical parameterization of γ(N2O5), fit to WINTER data, based on the functional form of previous parameterizations

Additive value of [18F]PI-2620 perfusion imaging in progressive supranuclear palsy and corticobasal syndrome

Purpose: Early after [18F]PI-2620 PET tracer administration, perfusion imaging has potential for regional assessment of neuronal injury in neurodegenerative diseases. This is while standard late-phase [18F]PI-2620 tau-PET is able to discriminate the 4-repeat tauopathies progressive supranuclear palsy and corticobasal syndrome (4RTs) from disease controls and healthy controls. Here, we investigated whether early-phase [18F]PI-2620 PET has an additive value for biomarker based evaluation of 4RTs. Methods: Seventy-eight patients with 4RTs (71 ± 7 years, 39 female), 79 patients with other neurodegenerative diseases (67 ± 12 years, 35 female) and twelve age-matched controls (69 ± 8 years, 8 female) underwent dynamic (0-60 min) [18F]PI-2620 PET imaging. Regional perfusion (0.5-2.5 min p.i.) and tau load (20-40 min p.i.) were measured in 246 predefined brain regions [standardized-uptake-value ratios (SUVr), cerebellar reference]. Regional SUVr were compared between 4RTs and controls by an ANOVA including false-discovery-rate (FDR, p < 0.01) correction. Hypoperfusion in resulting 4RT target regions was evaluated at the patient level in all patients (mean value - 2SD threshold). Additionally, perfusion and tau pattern expression levels were explored regarding their potential discriminatory value of 4RTs against other neurodegenerative disorders, including validation in an independent external dataset (n = 37), and correlated with clinical severity in 4RTs (PSP rating scale, MoCA, activities of daily living). Results: Patients with 4RTs had significant hypoperfusion in 21/246 brain regions, most dominant in thalamus, caudate nucleus, and anterior cingulate cortex, fitting to the topology of the 4RT disease spectrum. However, single region hypoperfusion was not specific regarding the discrimination of patients with 4RTs against patients with other neurodegenerative diseases. In contrast, perfusion pattern expression showed promise for discrimination of patients with 4RTs from other neurodegenerative diseases (AUC: 0.850). Discrimination by the combined perfusion-tau pattern expression (AUC: 0.903) exceeded that of the sole tau pattern expression (AUC: 0.864) and the discriminatory power of the combined perfusion-tau pattern expression was replicated in the external dataset (AUC: 0.917). Perfusion but not tau pattern expression was associated with PSP rating scale (R = 0.402; p = 0.0012) and activities of daily living (R = - 0.431; p = 0.0005). Conclusion: [18F]PI-2620 perfusion imaging mirrors known topology of regional hypoperfusion in 4RTs. Single region hypoperfusion is not specific for 4RTs, but perfusion pattern expression may provide an additive value for the discrimination of 4RTs from other neurodegenerative diseases and correlates closer with clinical severity than tau pattern expression

Cost analysis of nondeterministic probabilistic programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach using experimental results on a variety of programs for which we efficiently synthesize tight resource-usage bounds

Cost Analysis of Nondeterministic Probabilistic Programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach by presenting experimental results on a variety of programs, motivated by real-world applications, for which we efficiently synthesize tight resource-usage bounds.Comment: A conference version will appear in the 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019

Effect of a Perioperative, Cardiac Output-Guided Hemodynamic Therapy Algorithm on Outcomes Following Major Gastrointestinal Surgery A Randomized Clinical Trial and Systematic Review

Importance: small trials suggest that postoperative outcomes may be improved by the use of cardiac output monitoring to guide administration of intravenous fluid and inotropic drugs as part of a hemodynamic therapy algorithm.Objective: to evaluate the clinical effectiveness of a perioperative, cardiac output–guided hemodynamic therapy algorithm.Design, setting, and participants: OPTIMISE was a pragmatic, multicenter, randomized, observer-blinded trial of 734 high-risk patients aged 50 years or older undergoing major gastrointestinal surgery at 17 acute care hospitals in the United Kingdom. An updated systematic review and meta-analysis were also conducted including randomized trials published from 1966 to February 2014.Interventions: patients were randomly assigned to a cardiac output–guided hemodynamic therapy algorithm for intravenous fluid and inotrope (dopexamine) infusion during and 6 hours following surgery (n=368) or to usual care (n=366).Main outcomes and measures: the primary outcome was a composite of predefined 30-day moderate or major complications and mortality. Secondary outcomes were morbidity on day 7; infection, critical care–free days, and all-cause mortality at 30 days; all-cause mortality at 180 days; and length of hospital stay.Results: baseline patient characteristics, clinical care, and volumes of intravenous fluid were similar between groups. Care was nonadherent to the allocated treatment for less than 10% of patients in each group. The primary outcome occurred in 36.6% of intervention and 43.4% of usual care participants (relative risk [RR], 0.84 [95% CI, 0.71-1.01]; absolute risk reduction, 6.8% [95% CI, ?0.3% to 13.9%]; P?=?.07). There was no significant difference between groups for any secondary outcomes. Five intervention patients (1.4%) experienced cardiovascular serious adverse events within 24 hours compared with none in the usual care group. Findings of the meta-analysis of 38 trials, including data from this study, suggest that the intervention is associated with fewer complications (intervention, 488/1548 [31.5%] vs control, 614/1476 [41.6%]; RR, 0.77 [95% CI, 0.71-0.83]) and a nonsignificant reduction in hospital, 28-day, or 30-day mortality (intervention, 159/3215 deaths [4.9%] vs control, 206/3160 deaths [6.5%]; RR, 0.82 [95% CI, 0.67-1.01]) and mortality at longest follow-up (intervention, 267/3215 deaths [8.3%] vs control, 327/3160 deaths [10.3%]; RR, 0.86 [95% CI, 0.74-1.00]).Conclusions and relevance: in a randomized trial of high-risk patients undergoing major gastrointestinal surgery, use of a cardiac output–guided hemodynamic therapy algorithm compared with usual care did not reduce a composite outcome of complications and 30-day mortality. However, inclusion of these data in an updated meta-analysis indicates that the intervention was associated with a reduction in complication rate

Meta-analysis of genome-wide association studies identifies novel loci that influence cupping and the glaucomatous process

Glaucoma is characterized by irreversible optic nerve degeneration and is the most frequent cause of irreversible blindness worldwide. Here, the International Glaucoma Genetics Consortium conducts a meta-analysis of genome-wide association studies of vertical cup-disc ratio (VCDR), an important disease-related optic nerve parameter. In 21,094 individuals of European ancestry and 6,784 individuals of Asian ancestry, we identify 10 new loci associated with variation in VCDR. In a separate risk-score analysis of five case-control studies, Caucasians in the highest quintile have a 2.5-fold increased risk of primary open-angle glaucoma as compared with those in the lowest quintile. This study has more than doubled the known loci associated with optic disc cupping and will allow greater understanding of mechanisms involved in this common blinding condition

Global, regional, and national burden of Alzheimer's disease and other dementias, 1990-2016: a systematic analysis for the Global Burden of Disease Study 2016.

BACKGROUND: The number of individuals living with dementia is increasing, negatively affecting families, communities, and health-care systems around the world. A successful response to these challenges requires an accurate understanding of the dementia disease burden. We aimed to present the first detailed analysis of the global prevalence, mortality, and overall burden of dementia as captured by the Global Burden of Diseases, Injuries, and Risk Factors (GBD) Study 2016, and highlight the most important messages for clinicians and neurologists. METHODS: GBD 2016 obtained data on dementia from vital registration systems, published scientific literature and surveys, and data from health-service encounters on deaths, excess mortality, prevalence, and incidence from 195 countries and territories from 1990 to 2016, through systematic review and additional data-seeking efforts. To correct for differences in cause of death coding across time and locations, we modelled mortality due to dementia using prevalence data and estimates of excess mortality derived from countries that were most likely to code deaths to dementia relative to prevalence. Data were analysed by standardised methods to estimate deaths, prevalence, years of life lost (YLLs), years of life lived with disability (YLDs), and disability-adjusted life-years (DALYs; computed as the sum of YLLs and YLDs), and the fractions of these metrics that were attributable to four risk factors that met GBD criteria for assessment (high body-mass index [BMI], high fasting plasma glucose, smoking, and a diet high in sugar-sweetened beverages). FINDINGS: In 2016, the global number of individuals who lived with dementia was 43·8 million (95% uncertainty interval [UI] 37·8-51·0), increased from 20.2 million (17·4-23·5) in 1990. This increase of 117% (95% UI 114-121) contrasted with a minor increase in age-standardised prevalence of 1·7% (1·0-2·4), from 701 cases (95% UI 602-815) per 100 000 population in 1990 to 712 cases (614-828) per 100 000 population in 2016. More women than men had dementia in 2016 (27·0 million, 95% UI 23·3-31·4, vs 16.8 million, 14.4-19.6), and dementia was the fifth leading cause of death globally, accounting for 2·4 million (95% UI 2·1-2·8) deaths. Overall, 28·8 million (95% UI 24·5-34·0) DALYs were attributed to dementia; 6·4 million (95% UI 3·4-10·5) of these could be attributed to the modifiable GBD risk factors of high BMI, high fasting plasma glucose, smoking, and a high intake of sugar-sweetened beverages. INTERPRETATION: The global number of people living with dementia more than doubled from 1990 to 2016, mainly due to increases in population ageing and growth. Although differences in coding for causes of death and the heterogeneity in case-ascertainment methods constitute major challenges to the estimation of the burden of dementia, future analyses should improve on the methods for the correction of these biases. Until breakthroughs are made in prevention or curative treatment, dementia will constitute an increasing challenge to health-care systems worldwide

The trans-ancestral genomic architecture of glycemic traits

Glycemic traits are used to diagnose and monitor type 2 diabetes and cardiometabolic health. To date, most genetic studies of glycemic traits have focused on individuals of European ancestry. Here we aggregated genome-wide association studies comprising up to 281,416 individuals without diabetes (30% non-European ancestry) for whom fasting glucose, 2-h glucose after an oral glucose challenge, glycated hemoglobin and fasting insulin data were available. Trans-ancestry and single-ancestry meta-analyses identified 242 loci (99 novel; P < 5 x 10(-8)), 80% of which had no significant evidence of between-ancestry heterogeneity. Analyses restricted to individuals of European ancestry with equivalent sample size would have led to 24 fewer new loci. Compared with single-ancestry analyses, equivalent-sized trans-ancestry fine-mapping reduced the number of estimated variants in 99% credible sets by a median of 37.5%. Genomic-feature, gene-expression and gene-set analyses revealed distinct biological signatures for each trait, highlighting different underlying biological pathways. Our results increase our understanding of diabetes pathophysiology by using trans-ancestry studies for improved power and resolution. A trans-ancestry meta-analysis of GWAS of glycemic traits in up to 281,416 individuals identifies 99 novel loci, of which one quarter was found due to the multi-ancestry approach, which also improves fine-mapping of credible variant sets.Peer reviewe

Mapping child growth failure across low- and middle-income countries

Child growth failure (CGF), manifested as stunting, wasting, and underweight, is associated with high 5 mortality and increased risks of cognitive, physical, and metabolic impairments. Children in low- and middle-income countries (LMICs) face the highest levels of CGF globally. Here we illustrate national and subnational variation of under-5 CGF indicators across LMICs, providing 2000–2017 annual estimates mapped at a high spatial resolution and aggregated to policy-relevant administrative units and national levels. Despite remarkable declines over the study period, many LMICs remain far from the World Health 10 Organization’s ambitious Global Nutrition Targets to reduce stunting by 40% and wasting to less than 5% by 2025. Large disparities in prevalence and rates of progress exist across regions, countries, and within countries; our maps identify areas where high prevalence persists even within nations otherwise succeeding in reducing overall CGF prevalence. By highlighting where subnational disparities exist and the highest-need populations reside, these geospatial estimates can support policy-makers in planning locally 15 tailored interventions and efficient directing of resources to accelerate progress in reducing CGF and its health implications